$\forall$$a$,$b$,$c$:rationals. qle($a$; $b$) $\Rightarrow$ qle($b$; $c$) $\Rightarrow$ qle($a$; $c$)